This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", including: - The docker image for artifact. - The readme
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is the artifact for the OOPSLA 23 paper "Bring Your Own Data structures to Datalog". The artifa...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Ths artifact consists of a docker image with instructions, the dataset, and the code necessary to re...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This document is the description of how to download and use the docker image that is the artifact th...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is the artifact for the OOPSLA 23 paper "Bring Your Own Data structures to Datalog". The artifa...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Ths artifact consists of a docker image with instructions, the dataset, and the code necessary to re...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This document is the description of how to download and use the docker image that is the artifact th...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
DOI
Add to ORKG